x86/mm: Use l1e_get_pfn() in destroy_grant_pte_mapping().
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 9 Oct 2008 09:15:30 +0000 (10:15 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 9 Oct 2008 09:15:30 +0000 (10:15 +0100)
commit4ec4b58e0006f7172abde125534b7b440b78fd19
treefc7b3dee137289c4ed7b2b1b1ddcf82be6eaca54
parent7c72e3bf4ce63d67f6d768f6c824a0ceca39a2d8
x86/mm: Use l1e_get_pfn() in destroy_grant_pte_mapping().

On x86_64 system, (pte >> PAGE_SHIFT) is not always equal to page
frame number because high bits (63:52) of pte may be used as
flags. This patch corrects the conversion and errors as below
disappear when applied.
    (XEN) mm.c:3074:d0 PTE entry 200000a2ec6167 for address a1f09958
    doesn't match frame a2ec6

Signed-off-by: Yosuke Iwamatsu <y-iwamatsu@ab.jp.nec.com>
xen/arch/x86/mm.c